Update the info files.

diff --git a/make-dist b/make-dist
index e5b7b32564a6420aaf6d1bfcb2e5955637a700b0..e0f6ab588ee0b2eb157e7084860229680ad23852 100755 (executable)
--- a/make-dist
+++ b/make-dist
@@ -121,6 +121,10 @@ fi
 ### Update getdate.c.
 (cd lib-src; make -f Makefile getdate.c YACC="bison -y")
 
+echo "Updating Info files."
+
+(cd man; make info)
+
 echo "Updating finder-inf.el."
 
 ### update finder-inf.el.